منابع مشابه
Lukasiewicz Logic and Weighted Logics over MV-Semirings
We connect Lukasiewicz logic, a well-established many-valued logic, with weighted logics, recently introduced by Droste and Gastin. We use this connection to show that for formal series with coefficients in semirings derived from MValgebras, recognizability and definability in a fragment of second order Lukasiewicz logic coincide.
متن کاملPrimal strong co-ideals in semirings
In this paper, we introduce the notion of primal strong co-ideals and give some results involving them. It is shown thatsubtractive strong co-ideals are intersection of all primal strong co-ideals that contain them. Also we prove that the representation of strong co-ideals as reduced intersections of primal strong co-ideals is unique.
متن کاملFuzzy filters in ordered $Gamma$-semirings
We introduce the notion of ideal, prime ideal, lter, fuzzy ideal, fuzzy prime ideal, fuzzy lter of ordered $Gamma$-semiring and study their properties and relations between them. We characterize the prime ideals and lters of ordered $Gamma$-semiring with respect to fuzzy ideals and fuzzy l- ters respectively.
متن کاملTropical Semirings
It is a well-known fact that the boolean calculus is one of the mathematical foundations of electronic computers. This explains the important role of the boolean semiring in computer science. The aim of this paper is to present other semirings that occur in theoretical computer science. These semirings were baptized tropical semirings by Dominique Perrin in honour of the pioneering work of our ...
متن کاملSeparability in Domain Semirings
First, we show with two examples that in test semirings with an incomplete test algebra a domain operation may or may not exist. Second, we show that two notions of separability in test semirings coincide, respectively, with locality of composition and with extensionality of the diamond operators in domain semirings. We conclude with a brief comparison of dynamic algebras and modal Kleene algeb...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Miskolc Mathematical Notes
سال: 2018
ISSN: 1787-2405,1787-2413
DOI: 10.18514/mmn.2018.2637